TSTP Solution File: GRA074^2 by iProver-Eq---0.85